#include "..\Modulos\Archivo\archivo.h"


int main(){
Proposiciones proposicionvacia,proposicion1,proposicion2,proposicion3,proposicion4,proposicion5,proposicion6,proposicion7, proposicionLeida1, proposicionLeida2;
Expresion expresion;


    printf("***************************************\n");
    printf("*          PRUEBA MODULO FILE         *\n");
    printf("***************************************\n");

    print("\n\nSe realizara la carga automatica de una proposicion basic e1 y la que figura como ejemplo en la letra del TALLER e2 para probar el modulo archivo.");

    crearProposicion(proposicionvacia);
    crearProposicion(proposicion1);
    crearProposicion(proposicion2);
    crearProposicion(proposicion3);
    crearProposicion(proposicion4);
    crearProposicion(proposicion5);
    crearProposicion(proposicion6);
    crearProposicion(proposicion7);

    crearProposicion(proposicionLeida1);     //para levantarlo
    crearProposicion(proposicionLeida2);     //para levantarlo

    cargarExpresionLetra('p',expresion);
    proposicion1=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionLetra('q',expresion);
    proposicion2=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionLetra('r',expresion);
    proposicion3=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionConectiva(And,expresion);
    proposicion4=constructorDeProposicion(proposicion1,expresion,proposicion2);
    cargarExpresionConectiva(Not,expresion);
    proposicion5=constructorDeProposicion(proposicionvacia,expresion,proposicion3);
    cargarExpresionConectiva(entonces,expresion);
    proposicion6=constructorDeProposicion(proposicion4,expresion,proposicion5);
    cargarExpresionConectiva(siysolosi,expresion);
    proposicion7=constructorDeProposicion(proposicion6,expresion,proposicion4);

//////////////////////////Basic


    print("\n\n\ne1: ");
    desplegarProposicion(proposicion1);
    Ini_Guardar_Proposicion(proposicion1,"basic.txt");
    print("    ... e1 se almaceno en basic.txt...");

    Ini_Levantar_Proposicion(proposicionLeida1,"basic.txt");
    print("\nDatos almacenados en basic.txt:\n    ");
    desplegarProposicion(proposicionLeida1);


//////////////////////////////TALLER

    printf("\n\n\ne2: ");
    desplegarProposicion(proposicion6);
    Ini_Guardar_Proposicion(proposicion6,"letra.txt");
    printf("    ... e2 se almaceno en letra.txt...");

    Ini_Levantar_Proposicion(proposicionLeida2,"letra.txt");
    printf("\nDatos almacenados en basic.txt:\n    ");
    desplegarProposicion(proposicionLeida2);


    printf("\n\n\n");


    return 0;

}
